1. A new paradigm of knowledge engineering by soft computing /
پدیدآورنده : editor, Liya Ding.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Informatique douce.,Systèmes experts (Informatique),Systèmes flous.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Expert systems (Computer science),Fuzzy systems.,Soft computing.
رده :
QA76
.
9
.
S63
N655
2001eb
2. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
3. Advances in Artifical Intelligence :
پدیدآورنده : edited by Gordon McCalla.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
4. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
5. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
6. Anesthesiology :
پدیدآورنده : Basavana G. Goudra, Michael Duggan, Vidya Chidambaran, Hari Prasad Krovvidi Venkata, Elizabeth Duggan, Mark Powell, Preet Mohinder Singh, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Anesthesiology, Handbooks, manuals, etc.,Anesthesia-- methods.,Anesthesiology.,MEDICAL-- Surgery-- General.
رده :
RD82
.
2
.
A54
2018
7. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
8. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
9. Bayesian networks for probabilistic inference and decision analysis in forensic science
پدیدآورنده : \ Franco Taroni, Alex Biedermann, Silvia Bozza, Paolo Garbolino, Colin Aitken
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Bayesian statistical decision theory -- Graphic methods,Uncertainty (Information theory)-- Graphic methods,Forensic sciences-- Graphic methods,MATHEMATICS / Probability & Statistics / General.,نظریه تصمیم گیری آماری بیزی -- روش های گرافیکی
رده :
E-Book
,
10. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
11. Classical Indian philosophy of induction: the Nyaya viewpoint
پدیدآورنده : Chakrabarti, Kisor Kumar
کتابخانه: (قم)
موضوع : History ، Induction )Logic( -- India,، Nyaya
رده :
BC
91
.
C42
2010
12. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
13. Computational logic and set theory :
پدیدآورنده : Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Set theory
رده :
QA248
.
S39
2011eb
14. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
15. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
16. Critical Thinking
پدیدآورنده : / Jamie Carlin Watson and Robert Arp
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Critical thinking,Logic,استدلال,تفکر انتقادی,منطق
رده :
BC177
.
W3C5
2011
17. Critical reasoning
پدیدآورنده : / Jerry Cederblom, David W. Paulsen
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Reasoning,Critical thinking,Fallacies (Logic),Induction iLogicI,Theory (Philosophy)
رده :
BC177
.
C4
1995
18. Critical thinking: an introduction to reasoning well
پدیدآورنده : Watson, Jamie Carlin
کتابخانه: (قم)
موضوع : ، Reasoning,، Critical thinking,، Logic
رده :
BC
177
.
A775
2011
19. Current issues and enduring questions :
پدیدآورنده : Sylvan Barnet, Hugo Bedau, John O'Hara.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Reasoning.,Religion.,Social ethics.,Logic.,Reasoning.,Religion.,Social ethics.
رده :
BC177
.
C86
2017
20. Current issues and enduring questions :
پدیدآورنده : [edited by] Sylvan Barnet, professor of English, Tufts University, Hugo Bedau, professor of philosophy, Tufts University
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic,Reasoning,Religion,Social ethics
رده :
BC177
.
C86
2014
